Tools and algorithms for the construction and analysis of systems - sixth international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000. : proceedings
- Författare
- Joint European Conferences on Theory and practice of Software 2000) Berlin : Susanne Graf Michael Schwartzbach International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2000) Berlin :
- (Susanne Graf, Michael Schwartzbach (eds.)., Literaturangaben)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2000 | Tyskland, Berlin | viii, 552 sidor. ill 24 cm |